Support for Modular Certification of Safety-Critical Embedded Systems in DECOS – the Generic Safety Case*
نویسندگان
چکیده
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications a modular approach has been implemented which is based on the usage of generic safety cases. This means concretely that an application safety case merely contains the application-specific issues and re-uses the safety arguments of the generic safety cases of the DECOS platform. The safety cases are based on validation-plans (v-plans) comprising the steps to validate the safety requirements and contain the evidence which prove that these requirements are fulfilled. The Generic Test Bench which has been developed in the realm of DECOS supports the overall validation and verification process and particularly provides guideline to generate the generic safety cases.
منابع مشابه
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench
The integrated EU-project DECOS (Dependable Embedded Components and Systems) aims at developing an integrated architecture for embedded systems to reduce life-cycle costs and to increase dependability of embedded applications. To facilitate the certification process of DECOS-based applications, the DECOS Test Bench constitutes a framework to support Validation & Verification. By implementing a ...
متن کاملUsing Software Architecture Techniques to Support the Modular Certification of Safety-Critical Systems
In software engineering the role of software architecture as a means of managing complexity and achieving emergent qualities such as modifiability is increasingly well understood. In this paper we demonstrate how many principles from the field of software architecture can be brought across to the field of safety case management in order to help manage complex safety cases. Traditional approache...
متن کاملFirst ERCIM Workshop on Software - Intensive
In dependable embedded systems, currently each application function is assigned to a separate ECU (embedded control unit). Multi-tier supply chains as in automotive industry even enforce this approach to protect the IPs (Intellectual Property) of each supplier. With growing complexity of distributed systems and expanding functionality, this approach tends to become critical because of integrati...
متن کاملSecurity and Safety Considerations for the DECOS Core OS
This paper presents safety and security considerations for the Core Operating System (COS) of the Encapsulated Execution Environment (EEE) developed in DECOS (Dependable Embedded Components and Systems), an integrated project within the Sixth Framework Programme of the European Commission. It is shown that security and safety is well considered in the COS and a high level of security and safety...
متن کاملPlatform Modeling in Safety-Critical Embedded Systems
This paper describes a model-based development process for safety-critical embedded real-time systems that are based on the DECOS integrated architecture. The DECOS architecture guides system engineers in the development of complex embedded real-time systems by providing a framework for integrating multiple application systems within a single distributed computer system. This integration is sup...
متن کامل